Verification with the Undefined
نویسندگان
چکیده
منابع مشابه
Syntactic Definitions of Undefined: On Defining the Undefined
In the A-calculus, there is a standard notion of what terms should be considered to be "undefined": the unsolvable terms. There are various equivalent characterisations of this property of terms. We attempt to find a similar notion for orthogonal term rewrite systems. We find that in general the properties of terms analogous to the various characterisations of solvabil-ity differ. We give two a...
متن کاملAvoiding the Undefined by Underspecification
The first volume of Springer-Verlag's Lecture Notes in Computer Science appeared in 1973, almost 22 years ago. The field has learned a lot about computing since then, and in doing so it has leaned on and supported advances in other fields. In this paper, we discuss an aspect of one of these fields that has been explored by computer scientists, handling undefined terms in formal logic. Logicians...
متن کاملAdapting Calculational Logic to the Undefined
Programming abounds with partial functions. Some functions are inherently partial (e.g. division and referring to the first element of a list). Other functions are partial according to their recursive definitions. If partial functions are admitted in formulae, a programming logic is needed that handles partial functions and undefined terms. Dijkstra and Scholten [1], Gries and Schneider [2], Fe...
متن کاملProbabilistic Reasoning with Undefined Properties in Ontologically-Based Belief Networks
This paper concerns building probabilistic models with an underlying ontology that defines the classes and properties used in the model. In particular, it considers the problem of reasoning with properties that may not always be defined. Furthermore, we may even be uncertain about whether a property is defined for a given individual. One approach is to explicitly add a value “undefined” to the ...
متن کاملTesting means from sampling populations with undefined labels
We consider the problem of testing means from samples of two populations for which the labels are not defined with certainty. We show that this problem is connected to another one that is testing expected values of components of mixture-models from two data samples. The underlying mixture-model is associated with known varying mixing-weights. We provide a testing procedure that performs well. T...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2003
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(04)80813-2